initial algebra

[计] 始代数